Coordination Rules Generation from Coloured Petri Net Models
نویسندگان
چکیده
This paper presents an environment to automatically generate coordination rules from coloured Petri nets models.
منابع مشابه
Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic
This paper discusses coloured Petri net models of so-called timed influence nets with logic. Previous work has developed a method to translate a timed influence net into a coloured Petri net. The work in this paper describes a new and more compact translation from timed influence nets with logic into coloured Petri nets. The translation has the property that the net structure of the coloured Pe...
متن کاملA Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN m...
متن کاملPetriCode: A Tool for Template-Based Code Generation from CPN Models
Abstract Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs) that is the realization of previous work [17, 19, 18]. The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The element...
متن کاملAn Evaluation of Automated Code Generation with the PetriCode Approach
Automated code generation is an important element of model driven development methodologies. We have previously proposed an approach for code generation based on Coloured Petri Net models annotated with textual pragmatics for the network protocol domain. In this paper, we present and evaluate three important properties of our approach: platform independence, code integratability, and code reada...
متن کاملAutomatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept
Automatic code generation based on Coloured Petri Net (CPN) models is challenging because CPNs allow for the construction of abstract models that intermix control flow and data processing, making translation into conventional programming constructs difficult. We introduce Process-Partitioned CPNs (PP-CPNs) which is a subclass of CPNs equipped with an explicit separation of process control flow,...
متن کامل